Bernhard Steffen

Results: 18



#Item
1Computing / Software engineering / Computer science / Formal methods / Theoretical computer science / Bernhard Steffen / Model checking / Large-scale Complex IT Systems / European Joint Conferences on Theory and Practice of Software / Software development / ACM Transactions on Programming Languages and Systems / Draft:Tiziana Margaria

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Add to Reading List

Source URL: ls5-www.cs.tu-dortmund.de

Language: English - Date: 2016-11-23 09:11:46
2

Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

Add to Reading List

Source URL: ls5-www.cs.tu-dortmund.de

Language: German - Date: 2013-12-17 10:29:35
    3

    Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Weihnachtsaufgabe

    Add to Reading List

    Source URL: ls5-www.cs.tu-dortmund.de

    Language: German - Date: 2013-12-20 09:50:38
      4

      Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

      Add to Reading List

      Source URL: ls5-www.cs.tu-dortmund.de

      Language: German - Date: 2013-12-05 12:25:13
        5

        Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

        Add to Reading List

        Source URL: ls5-www.cs.tu-dortmund.de

        Language: German - Date: 2014-01-16 09:25:35
          6

          Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

          Add to Reading List

          Source URL: ls5-www.cs.tu-dortmund.de

          Language: German - Date: 2014-01-23 14:00:27
            7

            Mathematik für Informatiker 1 Vorlesungsskriptum WintersemesterGabriele Kern-Isberner Bernhard Steffen

            Add to Reading List

            Source URL: ls5-www.cs.tu-dortmund.de

            Language: German - Date: 2013-12-13 06:16:42
              8

              Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Weihnachtsaufgabe

              Add to Reading List

              Source URL: ls5-www.cs.tu-dortmund.de

              Language: German - Date: 2013-12-18 11:00:45
                9

                The KeY System 1.0 (Deduction Component) Bernhard Beckert, Martin Giese, Reiner H¨ ahnle, Vladimir Klebanov, Philipp R¨ ummer, Steffen Schlager, and Peter H. Schmitt

                Add to Reading List

                Source URL: heim.ifi.uio.no

                Language: English - Date: 2007-09-18 03:47:51
                  10

                  Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung

                  Add to Reading List

                  Source URL: ls5-www.cs.tu-dortmund.de

                  Language: German - Date: 2014-02-13 06:31:35
                    UPDATE